2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings (Lecture Notes ... Programming and Software Engineering)
Автор:
Grace A. Lewis
, Автор:
Iman Poernomo
, Автор:
Christine Hofmeister
Категория:
Техника
Размер книги: 3.93 Mb
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 4.66 Mb
Adapting proofs-as-programs
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 2.25 Mb
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 1.53 Mb
